Wyniki
-
Multidimensional algebra on the generalized sequences
Andrei Kouznetsov
Bulletin of the Section of Logic , 29 /4 (2000) s. 171-179 -
Deduction Chains and DC-like Decision Procedure for Guarded Logic
Andrei Kouznetsov
Bulletin of the Section of Logic , 33 /1 (2004) s. 53-65